Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2 , Sylvain Heraud2 , Federico Olmedo1, and Santiago Zanella-B´eguelin3 1

Source URL: certicrypt.gforge.inria.fr

• Functions and mappings
• Model theory
• Digital signal processing
• Dirac delta function
• Fourier analysis
• Interpretation
• Characteristic function
• Distribution
• Function
• Mathematical analysis
• Mathematics
• Generalized functions

CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati

Source URL: www.cscamm.umd.edu

• Distribution
• Functional analysis
• Dirac delta function
• Euler equations
• Siméon Denis Poisson
• Spectral theory of ordinary differential equations
• Linear temporal logic
• Mathematical analysis
• Generalized functions
• Fourier analysis

Periodicity and Cyclic Shifts via Linear Sketches Michael S. Crouch? and Andrew McGregor?? Department of Computer Science, University of Massachusetts, Amherst, MAAbstract. We consider the problem of identifying p

Source URL: people.cs.umass.edu

• Unitary operators
• Fourier transform
• Fourier series
• Digital signal processing
• Mathematical analysis
• Joseph Fourier
• Fourier analysis

Weak Approximation of ∗ Yan Dolinsky Marcel Nutz

Source URL: www.math.columbia.edu

• Probability theory
• Martingale theory
• Fourier analysis
• Game theory
• Martingale
• Random variable
• Central limit theorem
• Wiener process
• Quadratic variation
• Statistics
• Mathematical analysis
• Stochastic processes

Applied Probability Trust (22 April 2004) ´ SCALE FUNCTIONS OF LEVY PROCESSES AND BUSY PERIODS OF FINITE CAPACITY M/GI/1 QUEUES

Source URL: ece.uwaterloo.ca

• Differential equations
• Laplace transform
• Transforms
• Fluid queue
• Spectral theory of ordinary differential equations
• Μ operator
• Mathematical analysis
• Fourier analysis
• Mathematics

Fourier Analysis Fourier series allow you to expand a function on a finite interval as an infinite series of trigonometric functions. What if the interval is infinite? That’s the subject of this chapter. Instead of a s

Source URL: www.physics.miami.edu

High-Order Regularization on Graphs Dengyong Zhou Microsoft Research, One Microsoft Way, Redmond, WAUSA

Source URL: research.microsoft.com

• Differential operators
• Differential forms
• Multivariable calculus
• Riemannian geometry
• Fourier analysis
• Laplace operator
• Laplace–Beltrami operator
• Exterior derivative
• Hodge dual
• Mathematical analysis
• Calculus
• Mathematics

Heterodyne chirp analysis of bird vocalisations Dan Stowell and Mark D Plumbley Centre for Digital Music, QMUL The Problem Example: analysing two synthetic chirps

Source URL: c4dm.eecs.qmul.ac.uk

• Time–frequency analysis
• Digital signal processing
• Mathematics
• Chirp
• Heterodyne
• Wavelet
• Fast Fourier transform
• Mathematical analysis
• Signal processing
• Fourier analysis

Continuum Mech. Thermodyn: 133–161 DOIs00161z O R I G I NA L A RT I C L E M. Charlotte · L. Truskinovsky

Source URL: hera.polytechnique.fr

• Spectral theory
• Multivariable calculus
• Partial differential equation
• Discrete Fourier transform
• Spectral theory of ordinary differential equations
• Sturm–Liouville theory
• Mathematical analysis
• Mathematics
• Algebra

Infinite Series Infinite series are among the most powerful and useful tools that you’ve encountered in your introductory calculus course. It’s easy to get the impression that they are simply a clever exercise in man

Source URL: www.physics.miami.edu

• Complex analysis
• Real analysis
• Analytic functions
• Convergence
• Taylor series
• Binomial coefficient
• Series
• Fourier series
• Integral test for convergence
• Mathematical analysis
• Mathematics
• Mathematical series